|
|
Measuring station firmware for wireless data collection via LoRaWAN
Jánoš, Vít ; Možný, Radek (referee) ; Juráň, Radovan (advisor)
This thesis deals with software development for STM32WL55-JC1 MCU. Development kit was chosen primarily bacause of its LPWAN possibilities. Final prototype communicates on LoRaWAN network. Data are sent through public network from The Things Network, these data are concentrations of carbon dioxide, temperatures and carbon dioxide flux. Data are also backed up locally on SD card along with timestamp. The software was designed with the use of the chamber measurement method in mind, which is also described in the text.
|
|
|
.NET Based C Language Processing in a Browser
Kužela, Michal ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
The aim of this work is to create a tool for online programming in browser that would work also offline. It focuses on WebAssembly and .NET technologies. It was implemented in Blazor WebAssembly framework. Emphasis was placed on covering the range of C programming language used by beginner programmers. Solution is an interpreter that provides environment for programming in browser. It also contains virtual filesystem and an option to insert user inputs. The advantage of this solution is the possibility to work offline, code stepping and possibility to perform immediate code evaluation.
|
|
|
Detection of Expressions with Undefined Behavior in C Language
Hellebrandt, Lukáš ; Vojnar, Tomáš (referee) ; Müller, Petr (advisor)
Práce se zabývá detekcí nedefinovaného chování v programech v jazyce C. Zaměřujemese na nedefinované chování vznikající nesprávnou prací se sekvenčními body a vedlejšími efekty. Provedeme teoretický rozbor a pojmy jako nedefinované chování nebo vedlejší efekt zasadíme do kontextu práce. Dále vysvětlíme nebezpečnost konstrukcí vedoucích k nedefinovanému chování. Navrhneme metodu pro automatickou detekci zmíněného druhu nedefinovaného chování. Nakonec navrhneme a implementujeme nástroj pro jeho automatizovanou statickou detekci a popíšeme principy funkce tohoto nástroje. Při jeho návrhu klademe, narozdíl od současných řešení, důraz na funkčnost i v případě přístupu k paměti přes ukazatel nebo z volané funkce. Práce obsahuje příklady nebezpečných konstrukcí, na některých z nich jsou demonstrovány funkce vytvořeného nástroje.
|
|
|
Translation of C Expressions to DIMACS Format
Grim, Pavel ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
This work focuses on proposition of transfer of the expressions entered in the C programming language into DIMACS format and creation of program in programming language C++ making this transfer. This work contains a description of the C programming language and its operators. It also contains a description of the conjunctive normal form and a description of the DIMACS format. Following is a proposal for a program for the transfer of expression in the C programming language to the DIMACS format and description of realization of program performing this transfer.
|
|
|
Motor test platform monitoring system
Klecker, Jan ; Musil, Vladislav (referee) ; Pavlík, Michal (advisor)
The content of this thesis is to design system for temperature measurement of critical parts of NXP electric engine testbench. In the theoretical part will be analysed temperature measurement by temperature sensors and its connecting to microcontroller. The practical part is focused on realization of device for temperature measurement. This device will be based on NXP microcontroller from Kinetis MKVxx family.
|
|
|
C Language Source Files Similarity Detection
Rek, Petr ; Kučera, Jiří (referee) ; Matula, Peter (advisor)
This thesis deals with design, implementation and testing of the csim tool, which compares two C source files by their similarity. The primary purpose of this tool is testing of a decompiler developed by AVG Technologies s.r.o. Testing is based on comparing abstract syntax trees of the original and decompiled source files. The reader is introduced to the basics of reverse engineering, especially reverse engineering of a binary file into a high-level programming language source file. The process of compiling followed by decompiling of a file is described along with its effect on reverse engineering. The LLVM project and the Clang compiler is introduced to the reader, since its libraries are the foundation upon which the csim tool is built.
|
|
|
Preparation of Homeworks in the Course Algorithms
Řezáč, Jakub ; Peringer, Petr (referee) ; Křena, Bohuslav (advisor)
This bachelor's thesis is oriented on an implementation of homework for a subject Algorithms, which is taught in second year-class on Faculty of information technology of University of technology in Brno. For homework's correction is used system for automatized homework correction. A modification of this system is part of this submission too.
|
|
|
Automatic Generation of Test Cases from Data-Flow
Kraut, Daniel ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
This thesis deals with automatic generation of test cases on Unit testing level for source codes in C language. In order to achieve automatization are used methods of approach to software as a Data-flow of variables. There is outlined a process of creating tests here as well as a function of CSP solvers which are necessary part of solving this problems. Static code analysis is accessed with LibTooling libraring as part of a compiler front-end project Clang. Output of a developed application are provided here which is automatically generated input values for test cases.
|
|
|
C Compiler in Python
Lichtner, Ondrej ; Kaštil, Jan (referee) ; Vašíček, Zdeněk (advisor)
This paper describes the design and implementation of a C compiler in Python for the PicoBlaze microcontroler. Currently developement of applications for this microcontroller is limited to using assembler. Therefore the goal is to create a compiler that can be easily modified or extended. Design and implementation is separated into modules. These can be easily replaced or expanded.
|
|
|
Application for Detection of Plagiarism
Kačic, Matej ; Přikryl, Zdeněk (referee) ; Lukáš, Roman (advisor)
Main goal of this thesis is to create application, which can detect plagiarism in program code of projects without skeleton. It describes constructions of C/C++ language and their usage for detection of plagiarism. Projetcs are analysed by preprocesor, lexical analyse and phase of making structure of compare. After that they are compared one to each another by statistical test and Body test depends on Longest common subsequence.
|
guest ::
